🔍 Z3 Parsing

Formal Grammar Verification, Parser Correctness, Syntax Validation, Language Safety

Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·6h
📄Text Segmentation
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·16h·
Discuss: DEV
📝ABNF Parsing
Challenging LR Parsing (2020)
rust-analyzer.github.io·1d·
Discuss: Lobsters, r/programming
🦀Rust Macros
Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
I learned to code in JavaScript and now I feel that I’ve missed out on a lot of fundamentals
reddit.com·9h·
Discuss: r/golang
🔗Concatenative Programming
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Micro DSLs for scenario tests with Rust macros
dystroy.org·5h
🦀Rust Macros
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Quirks of Common Lisp Types
fosskers.ca·5h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Adding Conversational AI: Converting Natural Language into JSON Actions
chariotsolutions.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
Answering some questions about Baba Yaga
eli.li·11h·
Discuss: Hacker News
🎯Dependent Types
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·12h·
Discuss: Hacker News
🔗Archive Combinators
Prompting Strategies for Language Model-Based Item Generation in K-12 Education: Bridging the Gap Between Small and Large Language Models
arxiv.org·2d
⚡Proof Automation
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
Bold Devlog - August Summary - Warnings, LSP & Test
bold-edit.com·19h·
Discuss: r/programming
✅Format Verification
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.com·2d
🔧Binary Parsers
What AI chatbots are doing under the hood
gilesthomas.com·1d·
Discuss: Hacker News
🎙️Whisper
A type system for RCL (2024)
ruudvanasseldonk.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
<div xmlns="http://www.w3.org/1999/xhtml"> Writing letters with <code>groff</code> and an old printer </div>
uninformativ.de·17h·
Discuss: Hacker News
🖋Typography